portuges.dtx

---